Merge pull request #1716 from miyatsu/marvell-doc-fix-20181210
authorAntonio Niño Díaz <[email protected]>
Mon, 17 Dec 2018 10:54:16 +0000 (11:54 +0100)
committerGitHub <[email protected]>
Mon, 17 Dec 2018 10:54:16 +0000 (11:54 +0100)
docs: marvell: Fix typo in file build.txt


Trivial merge